University of Manchester

Results: 1471



#Item
331

Using Tableau to Decide Description Logics with Full Role Negation and Identity RENATE A. SCHMIDT and DMITRY TISHKOVSKY, The University of Manchester, UK This paper presents a tableau approach for deciding expressive des

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2013-07-19 12:07:31
    332

    MATH33001 Two hours UNIVERSITY OF MANCHESTER PREDICATE LOGIC

    Add to Reading List

    Source URL: www.maths.manchester.ac.uk

    Language: English - Date: 2011-11-18 09:20:15
      333

      Uniform Interpolation of ALC-Ontologies Using Fixpoints Patrick Koopmann? and Renate A. Schmidt The University of Manchester, UK {koopmanp, schmidt}@cs.man.ac.uk

      Add to Reading List

      Source URL: www.cs.man.ac.uk

      Language: English - Date: 2013-07-16 13:57:13
        334

        The Tableau Prover Generator MetTeL2 Dmitry Tishkovsky, Renate A. Schmidt, and Mohammad Khodadadi? School of Computer Science, The University of Manchester, UK Abstract. This paper introduces MetTeL2, a tableau prover ge

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2014-02-28 08:22:36
          335

          Sharing Mother Nature’s Gifts: A Reply to Quong and Miller Hillel Steiner University of Manchester Note to participants in the Territory and Justice conference, Dublin 2010:

          Add to Reading List

          Source URL: eis.bris.ac.uk

          Language: English - Date: 2010-07-01 05:07:37
            336

            Algebraic structures in topology Prospects in Mathematics Manchester, December 2012 Sarah Whitehouse University of Sheffield

            Add to Reading List

            Source URL: sarah-whitehouse.staff.shef.ac.uk

            Language: English - Date: 2013-01-02 07:06:13
              337

              Title: "Advanced Modelling of Smart Distribution Networks Using OpenDSS" Speaker:  Dr Luis(Nando) Ochoa, The University of Manchester, UK o

              Add to Reading List

              Source URL: www.ieee-isgt-asia-2015.org

              Language: English - Date: 2015-10-01 03:28:57
                338

                MATH43001Two and a half hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC

                Add to Reading List

                Source URL: www.maths.manchester.ac.uk

                Language: English - Date: 2012-08-02 08:27:51
                  339

                  A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

                  Add to Reading List

                  Source URL: www.cs.man.ac.uk

                  Language: English - Date: 2013-07-19 13:07:29
                    340

                    An inequality concerning the expected values of row-sum and column-sum products in Boolean matrices J.B.Paris∗and A.Vencovsk´a† School of Mathematics The University of Manchester

                    Add to Reading List

                    Source URL: www.maths.manchester.ac.uk

                    Language: English - Date: 2015-08-06 10:27:48
                      UPDATE